Experiences using OCL for Business Rules on Financial Messaging David Garry Nomos Software Rubicon Centre, CIT Campus Cork, Ireland

Source URL: st.inf.tu-dresden.de

A. Jahn D. Sommer U. Reichelt J. Henniger Institute for Nuclear and Particle Physics, Radiation Physics Group

Source URL: asp.tu-dresden.de

Sa, , 15:30-16:30 Prof. Dr. Gesche Pospiech, Didaktik der Physik, TU Dresden Verbesserung der Lehramtsausbildung im Bereich Quantenphysik Schüler sollten in der Schule im Physikunterricht die Aktualität der Ph

Source URL: www.heisenberg-gesellschaft.de

Microsoft Word - Impressum

Source URL: wwwdb.inf.tu-dresden.de

Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗

Source URL: st.inf.tu-dresden.de

• Unified Modeling Language
• Object Constraint Language
• Software
• Data management
• ECO
• Isabelle
• OCL
• Null
• Higher-order logic

High Detail Marker based 3D Reconstruction by Enforcing Multiview Constraints Thomas Neumann, Markus Wacker∗ HTW Dresden 1

Source URL: graphics.tu-bs.de

• 3D computer graphics
• Imaging
• 3D reconstruction
• Motion capture
• Vision

Postanschrift: 01062 Dresden Satzung Neufassung vom, mit Änderungen vom, und

Source URL: www.hait.tu-dresden.de

Rules – Models - Data OCL Workshop, September 2012 Experiences using OCL for Business Rules on Financial Data Author: David Garry

Source URL: st.inf.tu-dresden.de

• Economy
• Glashtte
• Nomos Glashtte
• OCL
• Nomos
• FpML
• Computing
• Object Constraint Language

SynopSys: Foundations for Multidimensional Graph Analytics Michael Rudolf1 , Hannes Voigt1 , Christof Bornhövd2 , and Wolfgang Lehner1 TU Dresden, Database Technology Group, Germany , hannes.voig

Source URL: db.csail.mit.edu

• Graph theory
• Data management
• Information technology management
• Online analytical processing
• Graph rewriting
• Graph
• Connectivity
• Algebraic graph theory
• Intersection graph
• Book:Graph Theory

An extensible OCL Virtual Machine and Code Generator E.D.Willink Eclipse Modeling Project

Source URL: st.inf.tu-dresden.de

• Software
• Computing
• Unified Modeling Language
• Object Constraint Language
• Integrated development environments
• ECO
• Eclipse
• Acceleo
• Systems engineering
• Syntropy
• OCL
• Query language